An outline of a mathematical theory of PAPA