Mathematical enculturation by Bishop