defining Result.