Corpus maximum finitum?