adds forall and accompanying tests