if a branch just isn’t possible, then you’ll have ...
# arrow
p
if a branch just isn’t possible, then you’ll have to throw I guess