You assume correctly. Although even withthe proofs errors crept in. On some of the Jeffereson proofs the edge die segments, were installed in the wrong order. Instead of 2009 S IN GOD WE TRUST E PLURIBUS UNUM THE EDGE READS 2009 S E PLURIBUS UNUM IN GOD WE TRUST. Surprisingly no one has paid any attention to this proof error and most people don't even know about it. After it was discovered changes were made to the die segments so they can't be put in the wrong order.