"High-Logic" . . . . . . "High-Logic" . . "1997" . . . .