contraction validation...