\bot \vdash \top