do
re
mi
merge Emily's branch
ε
i
ii
iii
merge Tim's branch
a
b
c
solve the halting problem