??hmmm, so what about idea that ... ???maybe [bit about how to get plain old "2-valued" model from boolean-valued model ...??? ...] shows that we're right about sa... ???completeness of [the boolean-algebra over which a boolean-valued model lives] as being a red herring ... ???or something ....