iq4j correctness