A Simplified View of Nerode Equivalence | Synapse