Tag: def system not eliminated