, p . ;¬