So p -> q /= q -> p. Aren't there a lot of things you can't rule out?