assertions should be prefixed with = predicate assertions suffixed with ?