@tao@mathstodon.xyz hmm I feel like "undigested" would be a better term. So like "proven (undigested)" or "disproven (undigested)". Also is there a search query to show such problems? It doesn't look like the search query let's you do Boolean operators.