using more assumes, but closer to getting decomposed writes to work