Believe I have correct clean semantics now.