diff --git a/docs/guide/entailment-example-2-path.png b/docs/guide/entailment-example-2-paths.png similarity index 100% rename from docs/guide/entailment-example-2-path.png rename to docs/guide/entailment-example-2-paths.png