liblogical view 1