Pythagorean diminished fifth