Generalised BK-frames

We define general $\mathbf{BK}$-frames with two different approaches. We prove that our semantic of general $\mathbf{BK}$-frames is as strong as the algebraic semantic of twist-structures. Then we formulate the p-morphism theorem.