Origami is a restaurant.