review datalog.diff for tmroeder