subabsoluteness
not defined yet