tightest property

Constraints get tightest

Implementation

Constraints get tightest => constraints;