F: DefaultDiffer.php