(assert (_ ä