Antagandet är åtminstone i fullöfverensstämmelse