materials on model checking
homework for week 5
minor changes