Supporting results for finite types and natural numbers.