やはりexistential extension openは魔法的だ