Scott logic view 1