Prokopis logic view 1