arch is a valid constraint