[StrongPushDownVSWeakPushDown[2].png]