Restaurant identities

Type
Restaurant identities