Do first exercise in STLC chapter