this is where Faldo steps in and proclaims "redundantism is your friend", or somesuch. does *anyone go around saying 'AT machines' or (expecially) 'PI numbers'?