Prokopis logic view 2