Allan's argument with its implicit premise.