Revise through Lutz