Corrected problem with superposition and horizontal sorts