has tree calculus been used to prove something interesting about something that is not tree calculus?