+3 Graph GraphLogic