add note on computability vs decidability
Reorganize make