proof argument