all about inference
some tests fixed