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