(p <=> q) => (-p <=> -q).
