Men detta är axiomer,