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
the actuator. The result