Examples of Neptune Transaction Semantics