givenness

not defined yet