revise_1 of hard-core.