Tighter y-bounds