Paper:PettetInnerFinite