Man resonnerade som så: