Time for a short discourse on recursively enumerable sets?