@Anonymous
June 30th was the last day to file Form 1045 if you wanted to carry it back and avoid amending. Because it is past that date, now the only options are (a) amend 2013 to carry it back or (b) file the election to "waive the carryback" by the due date of their 2020 tax return.
