4.5: Check the Argument's Assumptions