Spec for ResultContract#convert++