Perfect mathematical reasoning