$JCT still hold