Tag: the JCB operator is not traceable