This seems even more tied to the implementation than the above specs -- I think I'd prefer to see a few examples that actually use these constraints as an end user would.