universalizes

not defined yet