Repairman now inherits from operator