It is a much larger percentage of North Korea’s total economy, however, and I think that’s going to turn out to be the primary motivation here: not that OFAC woke up one morning and said that Tornado Cash is public enemy #1 but that the people watching North Korea saw that ransomware proceeds were being laundered using this specific system and wanted to stop it.