module Q where
import P
data Q = Q
q = not p