Ah yes, the age-old question: is it better to open bananas from the stem or from the bottom?
They’re both wrong. Completely wrong. There’s only one correct way to open bananas, and that is by snapping the banana down the middle. And I even have a formal proof of this method’s correctness and reliability using the Dafny verification language!
Step 1
Use your fingernail to make an indentation in the middle of the banana.
Step 2
Hold the two ends of the banana with your hands and snap it!
And that’s it! Enjoy the banana!
Proof of correctness
OK so you might say, that’s a pretty nice trick, but how is it 100% reliable? Here’s the proof. First, you prove false in Dafny. Thus, we can conclude any statement, including this method is the best thing ever and will bring about happiness and world peace and solve all conflicts stemming from banana-related arguments. Hooray!