{"type":"rich","version":1.0,"title":"Re: [FI] [logic] \"substitution instance\" and \"uniform substitution instance\" (2019-11-30)","width":1179,"html":"<a href=\"https://asciinema.org/a/284557\" target=\"_blank\"><img src=\"https://asciinema.org/a/284557.png\" alt=\"Re: [FI] [logic] &quot;substitution instance&quot; and &quot;uniform substitution instance&quot; (2019-11-30)\" width=\"1179\"></a>","height":792,"author_name":"petrogradphilos","author_url":"https://asciinema.org/~petrogradphilos","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":792,"thumbnail_url":"https://asciinema.org/a/284557.png","thumbnail_width":1179}