Yep. I was arguing that in this case more efficiency means you can't need as many jobs as you would otherwise. That does meet my definition of efficiency gain if there are fewer employees. Whether that's a good thing and for whom is another question.