Tag: dependence logic