Retrieving "Theorem/s" from the archives