Unions not being Solvable