Rule b
Rule c s: 0