Lifted Logic ddd