lem3alllem doesn't have any sets.