jct-clause