\bot\Rightarrow p.