Added string contracts