https://jebearssica.github.io//posts/bfs-derivation/