draru'a lujvo

x1 assumes x2 correctly; x1 (agent) is correct about x2