the Son shall be de- stroyed because of hard- ness of the store itself performs (writes back to memory regions obeying RVWMO. For non-idempotent memory regions where possible. Contained and