Trygve felt it was important to create program structures about which one can reason, and started socializing these ideas as early as 2000.
Trygve fontosnak érezte megindokolhatóindokolható programszerkezetek létrehozását, és ötletét 2000-től elkezdte terjeszteni.