So if we added on ABF to the list, it would check as follows:

is ABF a subset of EF?
	NO -> ABE < ABF, therefore ABF cannot be a subset of anything. Stop now and print ABE