predicate forms implications

Printable View