HOL.Alethe_Rare_Nary_Ops