c:t((dif(A,B),A=[]*C,B=[[]|D]),(A=[]*C,B=[[]|D],dif(A,B))).