@Trecenti oh, wait. I thought you meant that it should throw when one of the functions returns a non-boolean value. That would require an implementation change.