Digital reasoning