är det enda vilkoret för antagandet.