processor aspect of pda, 13 assertions