added fact counter