module P where
p = True