new axiom

1 files changed, 15 insertions, 1 deletions

diff --git a/tempo.md b/tempo.md
index 044825d..e3ca93e 100644
--- a/tempo.md
+++ b/tempo.md
@@ -17,13 +17,23 @@ i believe (*unverified*) that three is the absolute minimum, and that successful
 
 parenthesis can be used to imply order of words, but usually they can be distinguished based on axiom-definition and 
 
-## formatting
+## markup
 an axiom is denoted as:
 ```
 def <name> `<definition>` [english form]
 ^^ <description>
 ```
 
+## syntax
+in tempo, everything is interpreted as left-to-right.
+an axiom can have 0 to an arbitrary number of inputs, which indicates that the axiom is basically a catch-all. arguments are taken in the format of `[arg1 arg2 arg3 ...]` in the definition.
+the usage section of an axiom describes how arguments are taken in.
+
+the complex axiom assertion bears a cognitive load: it allows assigning names to the time slice of an axiom. for example: `A = .` returns a random (or non-random) object in the enclosing set of the context.
+in our world, this could be an atom, an apple, an idea, a time, a memory, a sound, anything.
+
+it also serves as a filter, in which `A=. A=.∷Ωapple` would filter the first statement, `A=.`, such that A is a property of an apple (since tempo doesn't define apples yet, we contractually import it from our own language as `Ωapple`). 
+
 ## fundamental axioms (words)
 
 def > `fundamental.` (consequence)
@@ -206,6 +216,10 @@ any mind that is able to receive the information of this current axiom.
 
 **frustration**: *now how do i define love?*
 
+def ϒ `[x] A=x A=Λ B=𝛏. C=@A @A = B+A @A≠C` (D ϒ)
+^^ comprehension:
+indicates an axiom being transmitted to a listener, resulting in the change of the listener. it resolves to a `T`/`F` value, indicating whether the listener's mind has changed in comparison to an outcome in which the listener did not receive the axiom.
+
 ## update log
 
 // Timestamp: future