[Fractint] Some questions about formula semantics