私も目の当たりにして初めて知った。「蝶の夢に荘周あり」とは、ただの笑い話ではないのかもしれぬな！