an earlier variant: https://media.mathstodon.xyz/media_attachments/files/116/688/248/923/502/943/original/bb48691095219067.mp4