[aarestad]

I appreciated how easy it was to read, at least until it got to the formal proof. This might be a good interview question to pose - to ask the interviewee to come up with the trivial lower and upper bounds of "pancake flips".