aops counting and probability