Dvoretzky’s Theorem as a Geometric Framework for Protein Frustration | Synapse