Implement follow(), corresp() and begin working solve.