Definition of "solves"