$JCT is also sandwiched