prove arguments.