Updated boolean programs