Precision Definition Computer Science at Alex Salas blog