What's the last bit after `||` supposed to do?