Toward Butler's conjecture | Synapse