Foundation algebr inv. by Gurevich