diff --git a/docs/about/cycle.md b/docs/about/cycle.md
index 1fdf345..00822b7 100644
--- a/docs/about/cycle.md
+++ b/docs/about/cycle.md
@@ -28,6 +28,12 @@ In order to use this strategy to decide our subtyping relation, we need:
 
 See here for more info:
 
-[fxpl/ln notes on cyclic
+* [fxpl/ln notes on cyclic
 proofs][github.com/fxpl/ln/blob/main/sequel/papper/notes/cyclic-proofs.md]
+* [slides on cyclic proofs, part 1][
+http://www0.cs.ucl.ac.uk/staff/J.Brotherston/slides/PARIS_FLoC_07_18_part1.pdf
+]
+* [slides on cyclic proofs, part 2][
+http://www0.cs.ucl.ac.uk/staff/J.Brotherston/slides/PARIS_FLoC_07_18_part2.pdf
+]