Proximal Normal Structure on Banach Spaces | Synapse