r31 , 203 .)