Men då invände domaren: