Tentative, unverified syntheses go here.