Resonnemanget blef derför ungefär följande: