this is a problem the rest of the proof is inside the project he didnt mean any of it
scratch don't take this down
