UNDER THE HOOD.

Specifications, sources, and verification.