<:> Analogy production

Archimedes's `volume' analogy.