verity-lang documents