anomaly-1 follows