Stuart_Armstrong comments on Values determined by “stopping” properties