DIVINQ: A simple transaction