realized I wasn't so sure of my claim about in-place matrix multiplication, so couch it more cautiously