Pipkin definitions