BCS wrote: > How much of safeD is formalizable? Is there anything in it that is > hoplessly impractical to create formal semantics for? I don't know, as I don't know how to write 'formal' semantics in english. Some help from someone who does would be appreciated.