theorem Th01: :: BKMODEL2:1

BK_model misses absolute