An exercise in creating and using immutable financial records that have some state.