(p "^" q) "—>" p