Title: Reasoning about obligations