L2 Ideal Logic