Brown Driver Briggs

1. then, in that case