one step closer to a working proof (one admit left)
the commit I meant to make last time (actually saved the file)
same place, just cleaned up slightly
trying to add some examples, small modifications to the proof