Barrington's Theorem for Mortals
briankitano.com