a_0 = \tfrac{1}{12}