propagating 'mustbe()' assertions.