Add some solving.