arch validate constraint, and remove it, and unit test