The Andoni-Naor-Neiman Inequalities and Isometric Embeddability into a CAT(0) Space | Synapse