existentialに入れてる事とSelf制約の2点かな？