Recently, Boston Globe published the article "For 40 years, computer scientists looked for a solution that doesn't exist". In this talk I will talk about what is actually meant by that.  This leads us to exciting algorithmic problems such as finding threesomes and detecting disjointness and the almost religous question of what to believe.