Native protein sequences are close to optimal for their structures | Synapse