And we can conclude instead, that there is no algorithm for property P. Thanks to Rice's theorem, we suddenly have an infinite collection of undecideable problems about the languages defined by Turing Machines. 