A Metamorphosis in Logic (1989)