Final for PrintsNoah Proofs