Add def of Sol