raet doesn't actually require itself