it proves that the algorithm is embeddable in a bigger transformer of ~similar architecture.