Minor -- the "Recursively compute" part of this comment is no longer true.