s/fact/statement/ in design documentation
Update design documentation
Add missing newline to design docs