Illustration: Overview of ALC Derivation