$Branch: $SelectInvertStrict.$Branch