Pusher converted to abstractions.