diff --git a/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs b/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs
index 5e9b9731d..c1647c4a0 100644
--- a/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs
+++ b/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs
@@ -253,8 +253,9 @@ simplifybodyRP = \case
                                      -- ^ this is the same for both the body and head
   RPConstraint exprsl rel exprsr     -> case rel of
                                           RPis  -> pure $ simpbodRPC @RPis exprsl exprsr
-                                          RPor  -> pure $ simpbodRPC @RPor exprsl exprsr
-                                          RPand -> pure $ simpbodRPC @RPand exprsl exprsr
+                                          -- TODO: comment these out for now to avoid inadvertent crashes of the system
+                                          -- RPor  -> pure $ simpbodRPC @RPor exprsl exprsr
+                                          -- RPand -> pure $ simpbodRPC @RPand exprsl exprsr
                                           _     -> SimpL4 $ refute [MkErr "shouldn't be seeing other rel ops in rpconstraint in body"]
                                           {- ^ Special case to handle for RPConstraint in the body but not the head: non-propositional connectives / anaphora!
                                               EG: ( Leaf