Any lease entered into by the state or its political subdivisions shall require that all areas where smoking is prohibited pursuant to Iowa Code chapter 142D comply with the provisions of these rules and Iowa Code chapter 142D.
Iowa Admin. Code r. 641-153.3