Juan XXIII is a restaurant.