Hashing Modulo Theories (via Moonchild) — discussion

#plt