Added more tests for logics