Consistency: Valid State Transitions - Acid Properties | OneNoughtOne