L1 fixpoint