Text this: Non-commutative reduction rings