Lazy rule number 19