Valence bonds and the Lieb-Schultz-Mattis theorem | Synapse