 This is equivalent to the observational sentence \(\forall x(Px \to Qx')\), which states that perceiving blue is followed by perceiving red. For any specific location \(a\), this variable hypothetical then becomes the proposition \(Pa \to Qa'\).