Added CountSpecification class