metrics with fuzzy definitions: the version with actual constraints · PitHub