r , svmaskiner , gifver det bästa bevGet.