Before revision: Matching -Logic Matching -logic adds a fixed-point operator .
After revision: Matching μ-Logic Matching -logic adds a fixed-point operator .