Fixed: Removed overline over L_2, since it and its projection are prefix-closed