Inferring Phylogeny Despite Incomplete Lineage Sorting | Synapse