Verification conventions explained
Mocking out private fields is working as well.