Homework for Logic and Problem solving