Proving arguments