/papers/formalization-of-genome-interval/990006650