January 10, 2022 @ 8:47 AM

The relevant declarations.