Logic and TestLogic