"String Interpolation" fully verified