Inspecting and executing a refinement

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


#litout504#

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


#litout506#

Just try it, and see what happens.