A sequence's unprovability about one property doesn't prevent all proofs about it; lawless sequences...
This proposition has not been edited since the history system was added.