*)INFiniTE WiZ(^ ;