I got my proof right here