I get the following error: _o11: no target for slot -1 Does anybody know where it comes from? Thanks -- "Provability is a weaker notion than truth, no matter what axiom system is involved ... " Kurt Godel (1906-1978)