New Constants by Closure Synthesis | Synapse