It's not so important, but we use "constants first" style for equality expressions.