Why four LLMs?

Obviously, we want to use as few LLMs as possible for cost reasons

Four LLMs is the smallest number which

a) allows a supermajority

b) allows human to act as the tiebreaker