Anglais ⇄ Russe +

material correctness contraintes
logiq.	справедливость по сути (утверждений и т.п. A.Rezvov); соответствие фактам (утверждений и т.п. A.Rezvov)