superderivation