Commenting out obs4MIPs restrictions for the time being.