diff --git a/doc/style-guide.md b/doc/style-guide.md
index 7da14eb7f5..cfecfbd699 100644
--- a/doc/style-guide.md
+++ b/doc/style-guide.md
@@ -717,3 +717,8 @@ used successfully in PR
 systematic for `Nary` relations in PR
 [#811](https://github.com/agda/agda-stdlib/pull/811)
 
+## Prefer use of `Relation.Nullary.Negation.Core.contradiction`
+
+Where possible use `contradiction` between two explicit arguments rather
+than appealing to the lower-level `Data.Empty.⊥-elim`. This provides
+clearer documentation for readers of the code.