Abstract and fixing semantics