logical distribution proven