Reactivated sections of code that now compile on Mac
Reactivated sections of code that now compile on Mac

codistmonk/burdenofproof,codistmonk/burdenofproof,codistmonk/burdenofproof,codistmonk/burdenofproof