amen_sum may receive a canonical format for X