§ Duval's algorithm