Så sant vår lärda förutsättning är riktig,