OT, was Re: Automated DLR conflict detection