I think I’ll order the pork chop. Restaurants seem not to have them, and I can’t remember the last one I ate.