Finally, we can lift a partial function into a regular (total) function that returns an Option or a Some(value) when the partial function is defined for the input argument or None when it isn't.