Update proof argument.md