Leading beliefs in the teaching of proof