Replaced todo_rhs with plausible implementation