you should add ``->cannotBeEmpty()``