Pythagorean diminished third