Add some code to make the controllers recyclable.
Add some code to make the controllers recyclable.
Make test's postcondition stronger
Make postcondition even stronger than last time.
Amend todo list.
A bit of refactoring.  Making subinterfaces of RpcController