take S -rules ; :: thesis: S -rules is Correct
thus S -rules is Correct ; :: thesis: verum