Some more details from #otterdays! Thanks to @colourcodeprint for making such a gorgeous proof