Kimura neutral theory: synonymous vs nonsynonymous substitutions, molecular clock, site frequency spectrum.