pr kilo ( 2 : 21 pr lisp. ).