Add canonical solution