distinction between two notions of logical form, once properly spelled out, sheds light