base tree - must probably rewrite, now that i know how to prove