mathematician
logic
list
left
intelligence
indicate
formal
first
environment
END_SRC
do
designed
contributors
clues
cat
bring
BEGIN_SRC
been
authors
artificial
