Some useful definitions

Availability

This submodule will be available on February 10, 2025.