removed univ quantif from rules