I think I agree with @pwendell . Its not clear what the semantics that we are going to guarantee.