discussion:en:algebraic_semantics