Logic Encapsulation