If Carnot efficiency is so well known that numerous hn'ers mention it, how likely is it that a team of alphabet people wouldn't be aware of it?