We need more tests to keep the code reliable. It would also be nice to have CI check code formatting.