Treatment of Refutations: Aspects of the Complexity of a Constructivist Approach to Mathematics Learning