bio (¬p)