A Short Proof that Phylogenetic Tree Reconstruction by Maximum Likelihood Is Hard | Synapse