Full writeup here : https://phil242.wordpress.com/2017/02/07/inso2017-iof-400/

Original writeup (https://phil242.wordpress.com/2017/02/07/inso2017-iof-400/).