The metrics with fuzzy definitions prompt I actually kept · PitHub