Actual real and prove