checked Rule, and ignore Write
Use consistent naming for tests
Fix a small bug in sample