Big proof forever