Microsoft interview question

given a binary tree, validate that it is well formed