If a smaller reaction time is required, then perhaps a different implementation should be developed.) The water level HighWater should then be low enough that the constraint on React can be met; the calculations required to achieve this are again performed at the most abstract level. A formal approach is required to support the interplay between information obtained by calculations at different levels of abstraction.