4 ms·As a whole, you are correct. Pragmatically it allows defining the boundaries of soundness.by throwaway91111 9y agoAs a whole, you are correct. Pragmatically it allows defining the boundaries of soundness.