Thanks to my supporters Yuri, vinetor, Ali (RU-vid) and Bruno, Timmy, Micah (Patreon) for making this video possible! If you want to contribute, links are in the video description.
Stronger Rice: Sigma star not in P -> P not in RE Sigma star in P -> P not in coRE Empty set not in P -> P not in coRE Empty set in P -> P not in RE Cool takeaway: if the property P doesn't separate Sigma-star and empty-set (either both in P or both not in P), then the language is neither in RE nor in coRE