A cognitive aspect on substitution in problem solving in mathematics. Issue 1 (2023)