successfully
successfully counts the cosets