Equationism view 1