Pufferfish setup