"discrete inference"