Email Record: State notation for teaching about behavioral procedures