Inspecting and executing a refinement

The refinement <#45#>program<#45#> has, by the reading, obtained a value, which can be displayed on the screen by means of the show-command


#elan46#

The focus is still <#48#>program<#48#>, but now its meaning is defined, as is shown by the fact that it is followed by a <#49#>:<#49#> instead of a <#50#>?<#50#>. We can execute the program with this refinement as root by giving the execute-command


#elan51#

Just try it, and see what happens.