Title: Dependence Logic