This is actually the first place we've used the `>>>` syntax. We should have a hint.