_AND with SAFE variables: S1_1, S1_2 and O

yields BOOL S [...] := 2; 3 ST S 2; A

. S Set (Stored

instance with prefix "S

s. Note

Validity: TIME := t#1s; END

consisting of S : standard

cyclically. The value T#0s

: %s The value

. It’s unknown