May want to note explicitly that the code doesn't check that the "if" is true - that is, the user MUST make sure this is the case?