From a Logical Point of Livsi