reduce duplication of forall quantification