Freedom and enforcement in action : a study in formal action theory /: a study in formal action theory. (2015)