Coded and verified
- that "Simple User" implementation works
 - that single group concurrency works