added not op, and started integration test