liblogical view 3