Requiring branches to always return something.