p=\bot