[ note ] Testing timeout for arithmetical properties.