k.forall

Not found.