diff --git a/document/case4.gif b/document/case4.gif index e84ec297..5d7a95b5 100644 Binary files a/document/case4.gif and b/document/case4.gif differ