FORMAL SEMANTICS (9999744082)