En vidareutveckling av exemplet ovan under avsnitt 7.4.1 skulle kunna beskrivas enligt följande .