arvailee, minkä arvoinen keskimääräinen aksioomakäyttäjä on