The Dutch term "supervisor" matches the English term "controller, checker"