BornForLogic - Logic Matters