Autoluna 1:1 Secondary Text 4

A chamber violinist tested that the library was functioning correctly. He tested that all the borrowed items had been returned. He did this by testing that there were no borrowed items that had not been returned. This assumed there were no returned items that had not been borrowed. So, when the set of borrowed books was the same as the set of returned books, then the system was stable. In this way, he tested that the library was functioning correctly by testing that all the borrowed items had been returned.
Also, a chamber musician tested that rations had been handled correctly. He did this by testing that the rations for a particular day had been eaten. He did this by testing whether each box of food for that day had been eaten. He did this by testing whether there was any food in any of the three-dimensional cubes in each box. So, when he tested that the rations for that day had been eaten, and that they had been necessary to eat, then the system was stable. In this way he tested that rations had been handled correctly by testing that the rations for that day had been eaten.
Another chamber violinist tested that a traveller could follow instructions. He did this by instructing a visitor about how to find shelter. For example, he said the visitor should walk north 150 metres to the town house, turn west and walk to the next land mark, and so on. He said to test which of the paths to the goal was the shortest, then choose it. So, when he followed the instructions to reach the goal and this was necessary, then the system was stable. In this way, he tested that a traveller could follow instructions about how to find shelter.
Also, another chamber musician tested that a particular man would be safe. He did this by testing that he jumped onto clear ground. He did this by testing that there was a large enough space to jump onto. This large enough space should have been vertically below him. So, when the man jumped onto clear ground and this was necessary, then the system was stable. In this way, he tested that the man would be safe by testing that he jumped onto clear ground.
Also, a chamber flutist described how a particular person helped a lady. He said he did this by helping her go to a shelter on his path. First, the man plotted a path past the shelter. Then, when he reached a twenty metre radius of the shelter, he accompanied her to it’s door. So, when he helped her reach a shelter on his path, and this was necessary, then the system was stable. In this way, he described how the man helped a lady by helping her go to a shelter on his path.