Five Stages of Accepting Constructive Mathematics - Andrej Bauer