A common mistake to avoid (2)
		n Typically,  is the main connective with  n Common mistake: using  as the main connective with : x At(x,NUS)  Smart(x)    is true if there is anyone who is not at NUS!