Theory of the half-filled Landau level | Synapse