FINALSfor RyanoptionsProofs