Create proof argument.md