more accurate tracking og UnificationResult