(String) Is theory-collection, empty? is theory-recollection, empty?....]