UnitTesting for Logic