iss 6 :: dealing with assumptions