Galois

Galois#8457 on discord--happy to chat