$\mbox{true}\lor P=\mbox{true}$