Zaslať SMS: Symbolický prístup k riešeniu problému Copycat