“Tightly relating the code to an underlying model gives the code meaning and makes the model relevant.”