consistency: add trapdoor to 017-9