References ========== These references cover terminology and our interpreter, `vere`.