-\begin_inset Info Hint: Probably, this CITATION REFERENCE shouldn't be
-"hard-coded". What if we make Lamport's book the second
- item in the bibliography?
+\begin_inset Note
+collapsed true
+
+\layout Standard
+
+Hint: Probably, this CITATION REFERENCE shouldn't be
+\layout Standard
+
+"hard-coded".
+ What if we make Lamport's book the second
+\layout Standard
+
+item in the bibliography?