Modified the theoretical use-cases

I've modified the theoretical use-cases, and added notes on how they can be implemented today (where applicable)