further refined robot bounds