aimeri was restored cyateguwe na astor hall this axiomatization obscures the connection to topology