Rice–Shapiro_theorem loading ...