added problems with full-scale backward inference