3 ms·

p -> q does not mean q -> p :)