Natural β-sheet proteins use negative design to avoid edge-to-edge aggregation | Synapse