Now doing bounded checking.