homework 6 submission

No, if r->right != NULL ... r->right->k will always be > r->k, by definition