gary, thanks for the response. In particular, the distinction between knowing something and being able to prove it...