p ¬\