Implementation with a sympathizer