stupid typo in unary inference method. need more tests :-/