Exact distribution of divergence times from fossil ages and tree topologies

Being given a phylogenetic tree of both extant and extinct taxa in which the fossil ages are the only temporal information (namely, in which divergence times are considered unknown), we provide a method to compute the probability distribution of any divergence time of the tree with regard to any speciation (cladogenesis), extinction and fossilization rates under the Fossilized-Birth-Death model. We then use this method to obtain a probability distribution for the age of Amniota (the synapsid/sauropsid or bird/mammal divergence), one of the most-frequently used dating constraint.