3 ms·

3 assertions with no implications