A diagrammatic approach to the AJ conjecture (joint with Stavros Garoufalidis)