∃x[PKoF(x) & ∀y[PKoF(y) → y=x] & B(x)]

The present king of France is bald... or is he?

=================

S. Sober Lab - Bengalese Finch with headphones. The headphones allow manipulation of the way the birds hear their own songs so that we can study how the brain processes auditory information and learns from experience.