Johnny's beliefs about proof