Add note about using real predicates for the constraints