(assert Bool