(@-@) (@-@) (@-@) (@-@) >< isabelle Shizue crossing