Delete Solovay.h