They are likely to be there: using a family-centered index testing approach to identify children living with HIV in Kenya. (October 2020)