A diner is a place to eat.