1 Table of Contents: “... -- On the Symmetric Molecular Conjectures, by J. M. Porta, L. Ros, B. Schulze, A. Sljoka and W. Whiteley -- Stiffness...”

2 “... of procedure synthesis that is primarily concerned with the task of conjecturing the sequence of controller...”

3 “... using Or­ dered Binary Decision Diagrams (OBDDs). OBDDs have been conjectured to be an attractive...”

4 “... with the finding of new facts, conjectures, and opinions on the subject. No one person, the author included...”