Call on rotated strings - better in ctci