fixed various bugs, added anti-domination