E J Corey 1967 synthon abstraction; modern bond-disconnection + functional-group-interconversion + retron-pattern-matching.