As discussed above, see supra note 243, step 5 is logically equivalent to "for all x, if x has both F and G, then x has H', and is also equivalent to "for all x, (if x has F then x has H) unless x also has not-G'.