s reverse proof