(assert (=>)