2*log2(3) %3C log2(12)