:: deftheorem defines Dir101 BKMODEL1:def 1 :
Dir101 = Dir |[1,0,1]|;