the greatest proof tree creation interface in the world (vacuously true, maybe?)