guix 7 probability 3 statistics 3 blog 1