@iblech@mathstodon.xyz Yes, this is precisely what made me smile :-)