Rules 10 -- 15 above refer to computation paths in models and characterise what ultimately are the `` Computation Tree '' .
Rules 10 -- 15 above refer to computation paths in models and are what ultimately characterise the `` Computation Tree '' ;