User blog comment:Alemagno12/Lambda notation vs standard ordinal notation/@comment-5029411-20170803205515

\(\lambda_1\) overgrows all of former OCFs we made. Congrats.