There exists no general algorithm that can determine whether a given program will eventually halt.
NP-complete problems are equivalent to P problems.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art