acid-state based example