Digitalization as formalization: A view from below. (1st June 2016)