add set-consistency!