. . "Archimedes' Toybox" . . . . "world premiere" .