more constraint magic.