Proximal normal structure and relatively nonexpansive mappings | Synapse