Text this: Clause-reachability is undecidable in legal contracts.