Add reflection issues
Add logic issues
Add high-level encoding issues to TODO
Add more interaction ideas
Add notes about capability security with produce