more powerful than logic view 1