hw3 satisfied