Remove premise specific stuff