relativization

not defined yet