Questo passaggio viene utilizzato solo per controllare il risultato delle definizioni precedenti. Qui non è consentita alcuna modiica. Se è necessario apportare ulteriori modifiche, è necessario tornare indietro al passaggio corrispondente della storia.