\predicates { p; q; r; } \problem { (p -> q) -> (!q -> !p) }