Definition Programs for which either: There is no [[Oracle]] An [[Oracle]] is theoretically possible, but impractical/too difficult to determine correctness of output.