interesting, I didn't know that corollary. sounds about right though.