Logic Refined