Add first part of an example in the computability article