Solve surjections.