First correctness statementformulated