Quantified educational texts as a means of improving the quality of procedural aspect of the educational process