Reasoning, convincing and proving