σημαίνει να πολλαπλασιάσει έναν αριθμό με έναν άλλο (για τη δοκιμή επέκτασης και να ελέγξει την ακρίβεια του πολλαπλασιασμού πουγίνεται από τον πελάτη). Για να επεκτείνει τις διαδικασίες ελέγχου πρέπει να εφαρμόζει πρόσθετες ελεγκτικές διαδικασίες για να λάβει περισσότερες αποδείξεις.