superposition sorts resolu