tiny fix

1 files changed, 1 insertions, 1 deletions

diff --git a/tempo.md b/tempo.md
index f180598..7966f8c 100644
--- a/tempo.md
+++ b/tempo.md
@@ -303,7 +303,7 @@ def \context\ `[x] A=.\type\(\me\\axiom\) !\comp\x \comp\(x+A) A` (\context\ B)
 ^^ context:
 an axiom, without which, the input axiom cannot be comprehended, but with it, the listener can comprehend the input axiom.
 
-def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A^B A` (\nuos\ C)
+def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A\prop\B A` (\nuos\ C)
 ^^ nuos:
 the internal world, context and logic of a specific mind. defines a world which exists inside of another.