Fixed comparison / equality contract