Programming Logic Quotes