Thanks for the info. I always wondered who the flip was named after.

It’s always interesting to learn things like that, because we have many names that people just use without even realizing where they came from, like for example how the Empire State Building was named after Frederick J. Building.