Logic Leaps