@oantolin@mathstodon.xyz yes, there seems to be a lot of evidence of that!