hypergeon2: STS Unavailable

hypergeon2 defines the following Names, but STS signatures are not currently available.