!7

sS script = [[
  Make an empty thought space X.
  Add (God is good) to X.
  Assert (Not (X is empty)).
  Apply rule (Remove (God is good)) to X.
  Assert (X is empty).
]];

sS bla = [[
]];

p {
  myTruth(bla);
}