A tale of two Automated Logic Diagram Sheets