User blog comment:B1mb0w/J Function Sandpit J 7/@comment-25601061-20151208191949/@comment-25601061-20151211172942

Yes, but in some cases, there is no * in the J7 function, and there is no rule to resolve  k m (n,p) without *, so it is impossible to resolve.