listings configuration (fixes #32), exact inference pseudo-code (fixes #33)