@bleuje@mathstodon.xyz well, that's my night sorted