@misc{indiciaebc31386d1ba0, title = {A variant proof of Con(b