Updated Finders in Proof (Count => numberOfOperands)