What does `Undec` mean here?