protofinitey