Add tests, fix english alphabet invariants