Skip to content
Commit 92f09abe authored by Thomas Dodds's avatar Thomas Dodds
Browse files

Adjusted the referenced clause numbers

parent 71d1ea4e