And using the transformation (20), the IHOC problem (14)-(17) cab be equivalently written as: