B BYL N S UND x Hal-V and SpaceCase