almost done proving 23trees
forgot these...
so close