lys logic view 1