Enhance Proposition for CSPs