Desired property value is in normal form

A desirable property of a Lambda calculus where every value is in Normal form. This property must hold in all system.