metricationist view 3