Explained carets; updated TODO