Billie Jean is not my lover

Man…wouldn’t it be funny if the “Billie Jean” that Michael Jackson was talking about in the song was Billie Jean King, the tennis star? that’d be pretty incredible.