Use partial-sig constraints as givens