阅读以下说明，回答问题1-4。
[说明]
设学校教学数据库的模式如下：
s(snum，snAmE，AgE、
sC(snum，Cnum，CrEDit，sCorE、
CCnum，CnAmE，tEAChEr)
t(tnum，tEhChEr，pos，sAl)
snum表示学生的学号，snAmE表示学生的姓名，AgE表示学生的年龄，Cnum表示选修课程的编号，CrEDit表示该课程的学分，sCorE表示课程的成绩，CnAmE表示课程名，tEAChEr表示任课的教师,tnum表示老师的工作证号，pos表示教师的职称，sm，表示教师的收入。
试定义下列完整性约束和规则：

[问题4] 为t定义完整性规则，“教授的工资不得低于2000元，如果低于2000元，自动改为2000元”。