lys logic view 3