Quotes by formal-logic