I TOOK THIS OUT OF A PROOF SET MYSELF