Henrik Carlsson posted this on 23 jun 15 Good night, people of the Internet. Now I’ll try to get a few hours of sleep before my seminar tomorrow. ∞