One problem with mathematical difficulty is its “invisibility”. We can’t see how other people are thinking, how they solve the problem, how they struggle. And sometimes, we cannot even explain our thinking! That’s why making thinking visible is so important! Because only then we can learn from the others, they can learn from us and we can see where it’s right and where is wrong. One way to making thinking visible is…
A lot of metamathematics are lost in the process.. but I think that people that are really good in math like this way of life. But it kinda hides a part of what doing mathematics is. It should be written as books preludes.