Construct an AV sentence that may be considered as asserting that either it or its negation is a theorem of PA. What can you determine about the status of this sentence and its negation?