2 ms·interesting, I didn't know that corollary. sounds about right though.by kevinqi 1y agointeresting, I didn't know that corollary. sounds about right though.