(in which i'm using it to mean a 7" record playing at any speed, rather than any size of record playing at 45rpm #clarityisimportant)