formal semantics, structure, universal algebra changes