loosened version bounds