@antoinechambertloir@mathstodon.xyz this is CS but I tend to agree with you