Mauro on the 1st day (by Ivan Luby)