They also provide a direct part of the second-order coding theorem, and show that other previously established formulas can be obtained by reducing the theorem to restricted scenarios.