Add some constraints, we'll enforce them twice for redundency!