Facts Assumptions Constraints