proof arguments