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