Logical Lesnik