Solve actually does something now.