solution hw1 phil50