( \ : o 80 .)