The Inference of Gene Trees with Species Trees