Алиса и Боб
Пусть "C" будет полным тортом. Протокол начинается с конкретного куска торта, скажем formula_3, который оценивается двумя участниками. Скажем, это будут Алиса и Боб.