This is pretty great!
Created for the Extra Credits Holiday 2018 Game Jam, with the theme "present", which can only mean one thing: Abstract Algebra!
A group presentation describes some basic relationships between objects that can be multiplied together (e.g. matrices). We can then use these to discover other relationships between those objects using the "replace a thing by a thing it's equal to" method of algebra.