A Metamorphosis in Logic