Proposition for CSPs