Det första vilkoret för att|