Logicality view 1