We all want results, but implementation details matter, particularly in law. The suit is merely saying that if law makers want to give OFAC the authority to sanction the Tornado Cash smart contracts, they have yet to do so.