:: deftheorem SCMPDS_1:def 11 :
canceled;