Structures of Equality book coming summer 2026!
If a problem could be modeled with REG or a Compare structure, which is the right one?