@sainati@types.pl @robinadams@mathstodon.xyz more like incomplete theorems am I right