:: deftheorem SCMPDS_1:def 4 :
canceled;