Homework 1: Sets, induction, counting