Field equality

Another minor point normally we use `must` instead of `should`.