The seven sevens in music theory.