adjudicating aborting pens éclairs particulars representation triviality cognition Donovan programmable portability