It is shown how bordered hessians, sufficient statistics, and integrability conditions from utility theory are closely related to the characterization theorems for mechanism design. Then, new results are outlined about a theory for implicitly defined objective functions, about how to incorporate...