diff --git a/fep/0391/fep-0391.md b/fep/0391/fep-0391.md
index 9710de5..6fe15e8 100644
--- a/fep/0391/fep-0391.md
+++ b/fep/0391/fep-0391.md
@@ -52,14 +52,19 @@ This is not particularly useful to prove, and at best can only be implied if `<B
 
 Claim
 : Actor `<B>`'s following collection (`<B>.following`) contains actor `<A>`
+
 Equivalent claim
 : Actor `<B>` claims that `<B>` is following `<A>`
+
 Another equivalent claim
 : Actor `<B>` claims that `<A>` is followed by `<B>`
+
 Inverse claim
 : Actor `<A>`'s followers collection (`<A>.followers`) contains actor `<B>`
+
 Equivalent inverse claim
 : Actor `<A>` claims that `<A>` is followed by `<B>`
+
 Another equivalent inverse claim
 : Actor `<A>` claims that `<B>` is following `<A>`
 
@@ -93,14 +98,19 @@ This can be verified by showing one of the following:
 
 Claim
 : Actor `<B>`'s followers collection (`<B>.followers`) contains actor `<A>`
+
 Equivalent claim
 : Actor `<B>` claims that `<B>` is followed by `<A>`
+
 Another equivalent claim
 : Actor `<B>` claims that `<A>` is following `<B>`
+
 Inverse claim
 : Actor `<A>`'s following collection (`<A>.following`) contains actor `<B>`
+
 Equivalent inverse claim
 : Actor `<A>` claims that `<A>` is following `<B>`
+
 Another equivalent inverse claim
 : Actor `<A>` claims that `<B>` is followed by `<A>`
 
@@ -162,6 +172,7 @@ The Announce activity `<S>` MAY `result` in an `Add` activity `<R>` targeting `<
 
 Claim
 : Object `<R>` is `inReplyTo` object `<O>`
+
 Inverse claim
 : Object `<O>`'s replies collection (`<O>.replies`) contains object `<R>` attributed to actor `<A>`
 
@@ -175,6 +186,7 @@ The inverse claim can be verified by showing that an activity exists where:
 
 Claim
 : Object `<O>` has a `context` pointing to context collection `<C>`
+
 Inverse claim
 : Context collection `<C>` contains object `<O>`