test some logics