Scott logic view 2