superinenarrable

not defined yet