thanks for the opinion on A.P. Ershov's presentation at the Spring Joint Computing Conference at Atlantic City