: The result of an operator [...] call. Can result [...] result in a valid
as a result
, then the result has a SAFE type
result for the safety
and as a result reduce
the evaluation result
then result in a new S