Logic Approach