A fixed point result for mean nonexpansive mappings. (1st September 2020)