diff --git a/src/problem.rs b/src/problem.rs
index a0433f4..e073771 100644
--- a/src/problem.rs
+++ b/src/problem.rs
@@ -225,6 +225,9 @@ impl Problem
 							statement.proof_status = ProofStatus::AssumedProven,
 						StatementKind::Lemma(ProofDirection::Forward) =>
 							statement.proof_status = ProofStatus::Ignored,
+						StatementKind::CompletedDefinition(ref predicate_declaration)
+							if !predicate_declaration.is_public() =>
+							statement.proof_status = ProofStatus::AssumedProven,
 						_ => statement.proof_status = ProofStatus::ToProveLater,
 					}
 				}