bintree succ and formatted