13: Pattern Match Exhaustivity: Node2()