Recognition of the role of intuitive insight does not mean that mathematics is negotiable on the level of individuals: it is negotiable on the level of the community of practice, however, in terms of debate about how claims to knowledge can be justified and defended, and thereby what is in fact known.