That's the great thing about such a simple design, you can actually sit down with pen and paper and verify operations.