Vilkor en för antagandet äro: