File:Isabelle for Smash (unexpected)