Equationism view 2