Lawson's clause view 3