OK, seems reasonable.  I guessed so, but wanted to be sure.