metricationist view 2