Beck logic view 1