diff --git a/Einstein/einsteins_puzzle.als b/Einstein/einsteins_puzzle.als
index 71e081b6434e24a097bfbd60c5bdfde9fc9d9f54..b2f77e3d9e0d76e545508f86b9ccc92a6297dcda 100644
--- a/Einstein/einsteins_puzzle.als
+++ b/Einstein/einsteins_puzzle.als
@@ -1,3 +1,12 @@
+// Alloy Encoding of the Einstein Puzzle
+// To solve it ProB2-UI use the following command
+// in the Symbolic Pane of the Animation View (bottom-left)
+// Type run0 and click on "Add and Check"
+// To see the visualisation Choose "Open VisB"
+//  in the visualisation menu, click on the "Open" icon
+// in the top-right of the VisB menu bar and select the
+//  file "einstein_puzzle_als.json"
+
 open util/ordering[House]
 sig House {
     color: Color,