Critical_line_theorem loading ...