Email Record: Fundamental problems of algorithmic algebra