simplifying set definition, adding solution to intro problem