diff --git a/preserves-path.md b/preserves-path.md
index 67ec76a..d9aeb29 100644
--- a/preserves-path.md
+++ b/preserves-path.md
@@ -112,6 +112,10 @@ engines](https://www.regular-expressions.info/engine.html)"; (2) it
 should be very widely implemented; (3) it should cover regular
 languages and no more; (4) it should be easy to implement.
 
+Design choice: How should comparison work? Should `lt 1.0f` accept not only `0.9f` but also
+`#t` and `#f` (since `Boolean` comes before `Float` in the Preserves total ordering)? Should
+`lt 1.0f` accept `0.9` and `0` as well as `0.9f`?
+
 ## Transformers
 
 e.g. stringify results; sequenceify results (see "+" operator); setify