forall is working, to some degree