more stuff and eg of solver