Refacting example without Privy