stoner logic view 1