Those names work for me.  Just wanted to clarify my original thinking.