It is part of the folklore of algebraic combinatorics that “most' two-variable groupoid identities have non-trivial models in finite fields, the groupoid operation being represented by a linear function ax+by.