 Definition: Let \((M,w)=(W,R,V,w)\) be a pointed Kripke model. Then the pair \((W,R)\) is called the frame of \((M,w)\). Any model \((M',w')\) which shares the frame \((W,R)\) is said to be built on \((W,R)\).