Verify Shape Constraints ()