(imp (p) (p))
