2-프롱 포크 프레임 𝐹와 그 이중 폐쇄 대수 𝐵F에 의해 생성된 다양체 Eq(𝐵F)에 대한 유한 사영 대수의 특성을 기술하고, Eq(𝐵F)에서 통일성이 유한적이라는 순수 의미론적 증명을 제공한다.
