varsinkin todennettavissa olevan laskennan tilassa