add DeduceIt hw1