transform proof stuff