(In)formalization: the forces beyond · Study