i think this proof works