I would feel more comfortable if the setting functionality were factored out into a separate function and that was called both here and in `satProperty`.