You have a value at an `Inr`? How does that work?