Logic Compact