You and I go out to eat at a conveyer-belt sushi restaurant. It serves four types of sushi: ahi roll, Boston roll, ...