形代って回避の上位互換じゃないの?