constraint rules the formal rules of a constraint (output = (ident(title) ident(author) "You must supply a title or an author"))