Improved clause 8

Regenerated from model