k.forall

0