$JCT は次の$AKE です