added Operation#String