editbyedit:

Michael Doret | Type Theory http://bit.ly/NnSrJg

Catch and Release
Umekawa by Yosuke Hayashi, Kurando Furuya