Equationism view 3