{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/6bd8c6bde84b42a98f9a26a969d4a3ad\" frameborder=\"0\" width=\"1920\" height=\"1440\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":1440,"width":1920,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":1440,"thumbnail_width":1920,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/6bd8c6bde84b42a98f9a26a969d4a3ad-1710192424503.gif","duration":422.4,"title":"4. TDB worked example: name mover heads, part 2","description":"In this video, I use TDB to look at how a backup name mover head supports generalization of the name mover circuit to a non-traditional-name token. This is an example of a manipulation that's easy to try out in TDB."}