Gruntz domain progress