sanitize before union is neccessary
union for congruences moved from cli
edited white spaces