Overview

TODO:

- Implement seki rule