Implemented exact reasoning in MN.