Can you take Solovay’s inaccessible away?