Och därför resonnera vi på det viset: