⁴⁸See ./CoreCode/Documentation/Derivations.nb for implementation details and further derivations.