inference of intermediate molecular structure from structure of final molecule used in manual assertion