(assert (((_ b