The effects of primary school quality on the educational participation and attainment of Kenyan girls and boys