Title: Interactive aids to logic system design