( 12 cf 13)