Chapter 4 Exercises -axp

didn't know 5.012 meant strict was no longer needed explicitly