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