A proof tells us where to Quotes

A proof tells us where to Quotes