[ \ : r 4 ( 5.