Abstract supervision