s=\bot