Casts the current Solution to Yes, if possible
the current Solution, casted to Yes
if the current Solution is not an instance of Yes