diff --git a/src/components/RulesOfInferencePlayground.tsx b/src/components/RulesOfInferencePlayground.tsx
index 78c0f39..37dd187 100644
--- a/src/components/RulesOfInferencePlayground.tsx
+++ b/src/components/RulesOfInferencePlayground.tsx
@@ -197,8 +197,8 @@ export default function RulesOfInferencePlayground() {
     const valid = deriveCandidates(activeRule, activePremises).includes(result);
     if (!valid) {
       toast({
-        title: "Not quite",
-        description: "That rule doesn’t apply to the selected premises.",
+        title: "Rule not applicable",
+        description: `The rule "${activeRule}" cannot be applied to the selected premises. Try a different rule or different premises.`,
         variant: "destructive",
       });
       return;
@@ -209,7 +209,9 @@ export default function RulesOfInferencePlayground() {
     setActiveRule(undefined);
 
     if (result === example.conclusion) {
-      toast({ title: "Nice!", description: "You derived the target conclusion." });
+      toast({ title: "Proof complete!", description: "You successfully derived the target conclusion!" });
+    } else {
+      toast({ title: "Step added", description: "Continue building your proof with the new statement." });
     }
   }
 
@@ -388,4 +390,4 @@ export default function RulesOfInferencePlayground() {
       </section>
     </div>
   );
-}
+}
\ No newline at end of file