Modified anomaly logic