supervenes

not defined yet