Hank Haney Counter Slice Sequence Diagram In Software