fixed second missing import in forall tests >_<