... reads this; existential is a logical constant which is used when ... property and universal is a logical constant which is used ... , most), examples of universal (all, none, every).
Valid ... a shared condition and the logical operators do not connect. ...