Implementation of Exp Quotations [Practical Theory]