I don't know why it's very efficient now

Some documentation
Cross solving done