analysisinterminable by endless_analysis