In this hypertext document, the unobservable action
is written
t
. This greatly reduces its downloading time.
Rob van Glabbeek
is written t. This greatly reduces its
downloading time.