dehon_doc:inv_0004017