What goes in this branch? Shouldn't we either:

1. Check it
2. Fail