Proc.Elem missing proc.Elem.Companion