p ⌵ q = q