removed now-unused import of theory "a"