... , the LG substitution and rule equivalence questions are introduced somewhere in the ... should strongly consider skipping the rule equivalence questions. Second, although they didn ... also think the argument part questions have become _much more difficult_ ...