diff --git a/src/main.rs b/src/main.rs
index 99196fe..e9587c4 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -170,7 +170,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>>
 				},
 				Some(ref conjecture) =>
 				{
-					eprintln!("verifying assertion: {}", conjecture.formula);
+					eprintln!("verifying {}: {}", &conjecture.kind, conjecture.formula);
 
 					let tptp_content = format!("{}", ask_dracula::format_tptp::display_project_with_conjecture_tptp(&project, conjecture, proof_direction));
 
@@ -191,7 +191,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>>
 				{
 					if let Some(proof_time) = proof_time
 					{
-						println!("assertion proven in {} seconds", proof_time);
+						println!("{} proven in {} seconds", &conjecture.kind, proof_time);
 					}
 					else
 					{