Rettelser i design criteria og syntax and semantics