Module reasoning