fixed Propositon Counter Index