Added example for naturally_equivalent