fixed test in forall