Revised bounded and enumeration instances