2 After finding the set Z of all consistent logical forms, we want to filter out spurious logical forms.
to do so, we observe that semantically correct logical forms should also give the correct denotation in worlds w other than than w. spurious logical forms will fail to produce the correct denotation on some other world.