oh...I see it now. But still, there might not be a match so don't recapture u here, just write

```
if match:
    return Eq(u, ...
else:
    ...
```