Highest Common Denominator Definitions