Add def of sol