Proof writing framesResource ID: #89