add 'paper' proof of front_equiv