( \ : o 23 .)